A Dynamic Editor of Typed Data Transformations
نویسندگان
چکیده
منابع مشابه
Typed Transformations of Typed Grammars: The Left Corner Transform
One of the questions which comes up when using embedded domain specific languages is to what extent we can analyze and transform embedded programs, as normally done in more conventional compilers. Special problems arise when the host language is strongly typed, and this host type system is used to type the embedded language. In this paper we describe how we can use a library, which was designed...
متن کاملThe Lime Music Editor: a Diagram Editor Involving Complex Transformations
Lime is a music editor, oriented to the production of printed music. A user manipulates the information content of the music notation, while viewing the physical appearance of the notation. To implement this, Lime must perform a complex translation from an abstract musical source representation to a graphical product. Techniques are discussed for providing automation without loss of customizabi...
متن کاملTyped Flow - Directed Representation Transformations ( Extended
We present a new framework for transforming data representations in a strongly typed intermediate language. Our method allows both value producers (sources) and value consumers (sinks) to support multiple representations, automatically inserting any required code. Specialized representations can be easily chosen for particular source/sink pairs. The framework is based on these techniques: 1. Fl...
متن کاملdynamic coloring of graph
در این پایان نامه رنگ آمیزی دینامیکی یک گراف را بیان و مطالعه می کنیم. یک –kرنگ آمیزی سره ی رأسی گراف g را رنگ آمیزی دینامیکی می نامند اگر در همسایه های هر رأس v?v(g) با درجه ی حداقل 2، حداقل 2 رنگ متفاوت ظاهر شوند. کوچکترین عدد صحیح k، به طوری که g دارای –kرنگ آمیزی دینامیکی باشد را عدد رنگی دینامیکی g می نامند و آنرا با نماد ?_2 (g) نمایش می دهند. مونت گمری حدس زده است که تمام گراف های منتظم ...
15 صفحه اولBidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal)
In recent years in the bx literature, attention has turned to incor-porating intensional information about edits (based on monoid ac-tions [HPW12,AU14, for example]), or more generally, deltas (based oncategories [DXC11a, DXC11b]), describing model updates. This talksketches a dependently-typed approach to consistency maintenance,à la Meertens/Stevens [Mee98, Ste10], buildin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2016
ISSN: 1877-0509
DOI: 10.1016/j.procs.2016.08.094